Nuprl Definition : dstype
0,22
postcript
pdf
dstype(
TypeNames
;
d
;
a
) == 1of(
d
)(
a
)
latex
Definitions
1of(
t
)
origin